Search Results for 'tonkushin 2012'

tonkushin 2012 published presentations and documents on DocSlides.

Catching Bugs in the Web of Program Invariants

by lindy-dunigan

Proseminar „Programmanalyse. ”, Prof. Dr. Hei...